[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 242 152 0 924 0 0 2779

N.S.

1 1.00 1.32 0.83 0.00 5.02 0.00 0.00 15.10

time (sec)

N/A 0.140 0.240 0.641 0.000 0.548 0.000 0.000 15.186

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

229 229 409 193 0 1089 0 0 2500

N.S.

1 1.00 1.79 0.84 0.00 4.76 0.00 0.00 10.92

time (sec)

N/A 0.176 0.813 0.646 0.000 0.602 0.000 0.000 15.517

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 172 209 0 1311 0 461 2500

N.S.

1 1.00 0.93 1.14 0.00 7.12 0.00 2.51 13.59

time (sec)

N/A 0.197 0.635 0.386 0.000 0.560 0.000 1.108 16.867

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 157 186 0 1275 0 695 1273

N.S.

1 1.00 1.01 1.20 0.00 8.23 0.00 4.48 8.21

time (sec)

N/A 0.140 0.584 0.365 0.000 0.605 0.000 1.256 16.401

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 143 163 0 1125 0 912 2991

N.S.

1 1.00 1.13 1.28 0.00 8.86 0.00 7.18 23.55

time (sec)

N/A 0.133 0.276 0.365 0.000 0.530 0.000 0.913 16.275

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 137 145 0 1087 0 397 443

N.S.

1 1.00 1.10 1.16 0.00 8.70 0.00 3.18 3.54

time (sec)

N/A 0.081 0.223 0.382 0.000 0.528 0.000 0.999 16.187

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 128 145 0 1079 0 361 671

N.S.

1 1.00 1.11 1.26 0.00 9.38 0.00 3.14 5.83

time (sec)

N/A 0.065 0.171 0.351 0.000 0.535 0.000 0.585 14.994

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 143 164 0 1229 0 672 371

N.S.

1 1.00 1.03 1.18 0.00 8.84 0.00 4.83 2.67

time (sec)

N/A 0.127 0.743 0.497 0.000 0.558 0.000 0.835 14.512

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 165 177 0 1365 0 938 1670

N.S.

1 1.00 1.11 1.19 0.00 9.16 0.00 6.30 11.21

time (sec)

N/A 0.132 1.076 0.536 0.000 0.577 0.000 0.874 15.554

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 174 195 0 1477 0 471 416

N.S.

1 1.00 0.98 1.10 0.00 8.30 0.00 2.65 2.34

time (sec)

N/A 0.143 3.144 0.529 0.000 0.580 0.000 0.778 15.256

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 277 213 0 1585 0 467 1704

N.S.

1 1.00 1.41 1.08 0.00 8.05 0.00 2.37 8.65

time (sec)

N/A 0.162 6.222 0.513 0.000 0.630 0.000 0.830 17.078

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

236 236 486 209 0 2649 0 0 2500

N.S.

1 1.00 2.06 0.89 0.00 11.22 0.00 0.00 10.59

time (sec)

N/A 0.337 0.820 1.059 0.000 0.727 0.000 0.000 16.004

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

210 210 565 214 0 2507 0 0 2500

N.S.

1 1.00 2.69 1.02 0.00 11.94 0.00 0.00 11.90

time (sec)

N/A 0.233 0.396 0.937 0.000 0.687 0.000 0.000 15.870

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

217 217 469 188 0 2507 0 0 2500

N.S.

1 1.00 2.16 0.87 0.00 11.55 0.00 0.00 11.52

time (sec)

N/A 0.193 0.443 0.875 0.000 0.658 0.000 0.000 16.630

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

186 186 345 204 0 2049 0 605 3060

N.S.

1 1.00 1.85 1.10 0.00 11.02 0.00 3.25 16.45

time (sec)

N/A 0.136 0.221 0.635 0.000 0.562 0.000 0.912 15.603

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

221 221 469 241 0 2269 0 693 2500

N.S.

1 1.00 2.12 1.09 0.00 10.27 0.00 3.14 11.31

time (sec)

N/A 0.196 0.280 1.063 0.000 0.660 0.000 0.789 16.794

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

325 325 600 243 0 2711 0 0 2500

N.S.

1 1.00 1.85 0.75 0.00 8.34 0.00 0.00 7.69

time (sec)

N/A 0.264 0.592 1.145 0.000 0.962 0.000 0.000 17.550

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

320 320 262 266 0 3544 0 1563 2500

N.S.

1 1.00 0.82 0.83 0.00 11.08 0.00 4.88 7.81

time (sec)

N/A 0.316 3.359 0.792 0.000 1.044 0.000 0.921 17.602

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 238 262 0 3135 0 1481 2500

N.S.

1 1.00 1.02 1.12 0.00 13.45 0.00 6.36 10.73

time (sec)

N/A 0.224 1.774 0.714 0.000 1.004 0.000 0.872 16.545

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 225 218 0 2796 0 1262 2980

N.S.

1 1.00 1.15 1.12 0.00 14.34 0.00 6.47 15.28

time (sec)

N/A 0.160 2.985 0.550 0.000 0.757 0.000 0.886 15.990

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 255 250 0 3445 0 1407 2500

N.S.

1 1.00 1.16 1.14 0.00 15.73 0.00 6.42 11.42

time (sec)

N/A 0.201 1.432 0.800 0.000 0.989 0.000 0.892 17.349

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 230 260 0 3477 0 1506 2500

N.S.

1 1.00 1.10 1.24 0.00 16.56 0.00 7.17 11.90

time (sec)

N/A 0.172 1.959 0.817 0.000 1.045 0.000 0.557 16.516

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 274 269 0 3648 0 1545 2500

N.S.

1 1.00 1.16 1.14 0.00 15.46 0.00 6.55 10.59

time (sec)

N/A 0.360 1.614 0.881 0.000 1.189 0.000 0.869 18.290

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

315 315 785 342 0 4640 0 0 2500

N.S.

1 1.00 2.49 1.09 0.00 14.73 0.00 0.00 7.94

time (sec)

N/A 0.387 1.070 1.754 0.000 1.140 0.000 0.000 19.294

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

290 290 630 303 0 4185 0 0 2500

N.S.

1 1.00 2.17 1.04 0.00 14.43 0.00 0.00 8.62

time (sec)

N/A 0.301 0.773 1.502 0.000 0.881 0.000 0.000 19.618

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

313 313 786 347 0 4524 0 0 2500

N.S.

1 1.00 2.51 1.11 0.00 14.45 0.00 0.00 7.99

time (sec)

N/A 0.319 0.933 1.790 0.000 1.058 0.000 0.000 20.153

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

288 288 631 403 0 4050 0 1076 2500

N.S.

1 1.00 2.19 1.40 0.00 14.06 0.00 3.74 8.68

time (sec)

N/A 0.342 0.738 1.447 0.000 0.925 0.000 1.289 19.278

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

313 313 784 430 0 4160 0 766 2500

N.S.

1 1.00 2.50 1.37 0.00 13.29 0.00 2.45 7.99

time (sec)

N/A 0.322 0.846 1.778 0.000 1.042 0.000 1.197 18.910

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) F(-2) B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

617 617 920 384 0 5020 0 0 2500

N.S.

1 1.00 1.49 0.62 0.00 8.14 0.00 0.00 4.05

time (sec)

N/A 0.578 2.932 2.010 0.000 2.240 0.000 0.000 20.835

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 331 374 0 5219 0 1989 2500

N.S.

1 1.00 1.04 1.17 0.00 16.36 0.00 6.24 7.84

time (sec)

N/A 0.348 2.946 1.155 0.000 1.475 0.000 1.321 19.648

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 350 432 0 5961 0 2231 2500

N.S.

1 1.00 1.02 1.26 0.00 17.38 0.00 6.50 7.29

time (sec)

N/A 0.514 2.582 1.729 0.000 2.084 0.000 1.271 20.337

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 316 372 0 5510 0 1986 2500

N.S.

1 1.00 1.01 1.19 0.00 17.60 0.00 6.35 7.99

time (sec)

N/A 0.459 3.420 1.102 0.000 1.466 0.000 1.414 19.499

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

347 347 343 422 0 6215 0 1184 2500

N.S.

1 1.00 0.99 1.22 0.00 17.91 0.00 3.41 7.20

time (sec)

N/A 0.462 5.373 1.649 0.000 2.426 0.000 1.408 19.905

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 333 416 0 6152 0 1131 2500

N.S.

1 1.00 1.04 1.30 0.00 19.29 0.00 3.55 7.84

time (sec)

N/A 0.424 2.097 1.658 0.000 2.601 0.000 0.710 19.666

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

357 357 357 437 0 6323 0 2203 2500

N.S.

1 1.00 1.00 1.22 0.00 17.71 0.00 6.17 7.00

time (sec)

N/A 0.874 3.514 1.776 0.000 2.746 0.000 1.370 20.801

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 45 24 18 17 43 724 51 17

N.S.

1 1.80 0.96 0.72 0.68 1.72 28.96 2.04 0.68

time (sec)

N/A 0.013 0.041 0.154 0.498 0.397 24.195 0.439 14.340

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

487 487 148 771 0 823 0 318 407

N.S.

1 1.00 0.30 1.58 0.00 1.69 0.00 0.65 0.84

time (sec)

N/A 0.774 0.224 0.334 0.000 0.549 0.000 0.617 15.178

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

309 309 45 190 0 3830 0 170 236

N.S.

1 1.00 0.15 0.61 0.00 12.39 0.00 0.55 0.76

time (sec)

N/A 0.136 0.056 0.438 0.000 18.116 0.000 0.581 14.352

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

477 477 47242 439 0 35 0 0 -1

N.S.

1 1.00 99.04 0.92 0.00 0.07 0.00 0.00 -0.00

time (sec)

N/A 0.261 61.215 18.470 0.000 0.110 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

521 521 118912 0 0 35 0 0 -1

N.S.

1 1.00 228.24 0.00 0.00 0.07 0.00 0.00 -0.00

time (sec)

N/A 0.442 41.545 1.325 0.000 0.156 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

484 484 47246 837 0 55 0 0 -1

N.S.

1 1.00 97.62 1.73 0.00 0.11 0.00 0.00 -0.00

time (sec)

N/A 0.279 61.223 20.277 0.000 0.126 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

431 431 89374 398 0 46 0 0 -1

N.S.

1 1.00 207.36 0.92 0.00 0.11 0.00 0.00 -0.00

time (sec)

N/A 0.211 51.300 20.519 0.000 0.096 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

171 171 13300 163 0 35 0 0 -1

N.S.

1 1.00 77.78 0.95 0.00 0.20 0.00 0.00 -0.01

time (sec)

N/A 0.074 45.064 17.546 0.000 0.112 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

469 469 63281 0 0 0 0 0 -1

N.S.

1 1.00 134.93 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.289 41.073 1.442 0.000 0.000 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

776 776 119171 0 0 37 0 0 -1

N.S.

1 1.00 153.57 0.00 0.00 0.05 0.00 0.00 -0.00

time (sec)

N/A 0.702 41.765 1.382 0.000 0.119 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

499 499 287 881 0 40 0 0 -1

N.S.

1 1.00 0.58 1.77 0.00 0.08 0.00 0.00 -0.00

time (sec)

N/A 0.462 32.076 46.237 0.000 0.203 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 304 396 0 28 0 0 -1

N.S.

1 1.00 1.88 2.44 0.00 0.17 0.00 0.00 -0.01

time (sec)

N/A 0.054 16.176 29.469 0.000 0.096 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

493 493 432 0 0 37 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 0.08 0.00 0.00 -0.00

time (sec)

N/A 0.280 101.050 1.349 0.000 0.093 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-2) F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

384 384 149 109 0 0 0 0 1515

N.S.

1 1.00 0.39 0.28 0.00 0.00 0.00 0.00 3.95

time (sec)

N/A 0.485 0.147 0.707 0.000 0.000 0.000 0.000 19.752

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 148 68 0 15501 0 0 513

N.S.

1 1.00 0.87 0.40 0.00 90.65 0.00 0.00 3.00

time (sec)

N/A 0.184 0.166 0.852 0.000 1.938 0.000 0.000 15.705

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

245 245 174 85 0 665483 0 0 816

N.S.

1 1.00 0.71 0.35 0.00 2716.26 0.00 0.00 3.33

time (sec)

N/A 0.338 0.221 0.482 0.000 6.293 0.000 0.000 16.948

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-2) F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

379 379 149 109 0 0 0 0 1515

N.S.

1 1.00 0.39 0.29 0.00 0.00 0.00 0.00 4.00

time (sec)

N/A 0.335 0.135 0.639 0.000 0.000 0.000 0.000 20.141

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 148 71 0 16697 0 0 513

N.S.

1 1.00 0.85 0.41 0.00 95.41 0.00 0.00 2.93

time (sec)

N/A 0.180 0.125 0.920 0.000 1.944 0.000 0.000 16.069

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

213 213 174 88 0 643307 0 0 818

N.S.

1 1.00 0.82 0.41 0.00 3020.22 0.00 0.00 3.84

time (sec)

N/A 0.145 0.144 0.492 0.000 6.382 0.000 0.000 16.542

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 411 133 0 0 0 0 2500

N.S.

1 1.00 2.11 0.68 0.00 0.00 0.00 0.00 12.82

time (sec)

N/A 0.257 0.107 0.668 0.000 0.000 0.000 0.000 15.254

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 79 72 71 138 0 185 98

N.S.

1 1.00 0.77 0.70 0.69 1.34 0.00 1.80 0.95

time (sec)

N/A 0.073 0.124 0.217 0.503 0.421 0.000 0.414 14.226

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 129 141 71 0 0 0 0 945

N.S.

1 0.59 0.65 0.33 0.00 0.00 0.00 0.00 4.33

time (sec)

N/A 0.136 0.116 0.549 0.000 0.000 0.000 0.000 14.919

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-1) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 413 133 0 0 0 0 2500

N.S.

1 1.00 2.21 0.71 0.00 0.00 0.00 0.00 13.37

time (sec)

N/A 0.174 0.098 0.665 0.000 0.000 0.000 0.000 14.440

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 117 202 0 0 0 197 99

N.S.

1 1.00 1.65 2.85 0.00 0.00 0.00 2.77 1.39

time (sec)

N/A 0.097 0.216 0.309 0.000 0.000 0.000 0.477 14.208

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 64 206 0 3884 0 220 141

N.S.

1 1.00 0.72 2.31 0.00 43.64 0.00 2.47 1.58

time (sec)

N/A 0.055 0.132 0.386 0.000 18.059 0.000 0.560 14.038

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 35 26 28 27 580 28 34

N.S.

1 1.00 0.92 0.68 0.74 0.71 15.26 0.74 0.89

time (sec)

N/A 0.032 0.005 0.104 0.272 0.409 15.009 0.444 0.097

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 27 20 22 21 311 22 19

N.S.

1 1.00 0.93 0.69 0.76 0.72 10.72 0.76 0.66

time (sec)

N/A 0.033 0.004 0.147 0.273 0.397 6.489 0.437 0.076

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 19 14 14 13 124 14 16

N.S.

1 1.00 1.06 0.78 0.78 0.72 6.89 0.78 0.89

time (sec)

N/A 0.030 0.004 0.149 0.285 0.407 2.469 0.465 0.059

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

6 6 6 7 6 6 15 6 6

N.S.

1 1.00 1.00 1.17 1.00 1.00 2.50 1.00 1.00

time (sec)

N/A 0.025 0.003 0.110 0.275 0.414 0.819 0.447 13.757

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

7 7 37 8 21 20 19 23 7

N.S.

1 1.00 5.29 1.14 3.00 2.86 2.71 3.29 1.00

time (sec)

N/A 0.016 0.005 0.089 0.280 0.400 0.080 0.428 13.598

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 61 52 51 46 0 47 31

N.S.

1 1.00 1.74 1.49 1.46 1.31 0.00 1.34 0.89

time (sec)

N/A 0.036 0.099 0.172 0.271 0.397 0.000 0.438 13.879

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 26 35 37 23 473 36 25

N.S.

1 1.00 0.79 1.06 1.12 0.70 14.33 1.09 0.76

time (sec)

N/A 0.032 0.004 0.163 0.505 0.413 4.066 0.466 13.614

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 18 23 21 12 153 24 13

N.S.

1 1.00 0.90 1.15 1.05 0.60 7.65 1.20 0.65

time (sec)

N/A 0.029 0.003 0.143 0.489 0.398 1.459 0.454 13.813

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

5 5 5 8 5 5 2 14 5

N.S.

1 1.00 1.00 1.60 1.00 1.00 0.40 2.80 1.00

time (sec)

N/A 0.026 0.001 0.137 0.501 0.392 0.453 0.450 13.811

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 45 36 37 37 0 38 25

N.S.

1 1.00 2.05 1.64 1.68 1.68 0.00 1.73 1.14

time (sec)

N/A 0.026 0.032 0.161 0.277 0.408 0.000 0.464 13.873

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 21 14 14 19 0 14 13

N.S.

1 1.00 1.17 0.78 0.78 1.06 0.00 0.78 0.72

time (sec)

N/A 0.029 0.004 0.157 0.280 0.368 0.000 0.462 13.868

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 31 20 22 25 0 22 21

N.S.

1 1.00 1.07 0.69 0.76 0.86 0.00 0.76 0.72

time (sec)

N/A 0.032 0.004 0.152 0.273 0.382 0.000 0.458 13.922

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 27 20 22 21 362 22 19

N.S.

1 1.00 0.93 0.69 0.76 0.72 12.48 0.76 0.66

time (sec)

N/A 0.031 0.004 0.086 0.274 0.425 32.983 0.409 14.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 19 14 14 13 144 14 16

N.S.

1 1.00 1.06 0.78 0.78 0.72 8.00 0.78 0.89

time (sec)

N/A 0.030 0.003 0.088 0.282 0.378 15.193 0.441 0.036

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

6 6 6 7 6 6 19 6 6

N.S.

1 1.00 1.00 1.17 1.00 1.00 3.17 1.00 1.00

time (sec)

N/A 0.026 0.002 0.158 0.270 0.379 6.596 0.431 0.025

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

7 7 37 8 21 20 22 23 7

N.S.

1 1.00 5.29 1.14 3.00 2.86 3.14 3.29 1.00

time (sec)

N/A 0.025 0.004 0.158 0.272 0.380 2.318 0.430 0.056

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 45 36 41 37 117 38 30

N.S.

1 1.00 2.05 1.64 1.86 1.68 5.32 1.73 1.36

time (sec)

N/A 0.021 0.006 0.126 0.292 0.388 0.245 0.452 0.076

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 61 52 57 46 0 47 31

N.S.

1 1.00 1.74 1.49 1.63 1.31 0.00 1.34 0.89

time (sec)

N/A 0.030 0.008 0.161 0.286 0.390 0.000 0.447 13.985

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 26 35 43 23 549 31 29

N.S.

1 1.00 0.79 1.06 1.30 0.70 16.64 0.94 0.88

time (sec)

N/A 0.034 0.004 0.101 0.536 0.388 23.245 0.454 13.821

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 18 23 25 12 178 22 13

N.S.

1 1.00 0.90 1.15 1.25 0.60 8.90 1.10 0.65

time (sec)

N/A 0.029 0.003 0.092 0.519 0.376 10.241 0.448 13.926

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

5 5 5 8 5 5 3 5 5

N.S.

1 1.00 1.00 1.60 1.00 1.00 0.60 1.00 1.00

time (sec)

N/A 0.025 0.000 0.176 0.494 0.367 4.115 0.435 13.943

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

6 6 6 7 6 10 20 6 6

N.S.

1 1.00 1.00 1.17 1.00 1.67 3.33 1.00 1.00

time (sec)

N/A 0.029 0.003 0.159 0.304 0.367 1.657 0.459 13.780

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 31 20 22 25 0 22 21

N.S.

1 1.00 1.07 0.69 0.76 0.86 0.00 0.76 0.72

time (sec)

N/A 0.032 0.004 0.174 0.282 0.432 0.000 0.436 13.799

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 41 24 28 31 0 28 33

N.S.

1 1.00 1.11 0.65 0.76 0.84 0.00 0.76 0.89

time (sec)

N/A 0.032 0.005 0.215 0.319 0.401 0.000 0.426 13.837

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 87 112 131 78 354 87 119

N.S.

1 1.00 0.80 1.03 1.20 0.72 3.25 0.80 1.09

time (sec)

N/A 0.044 0.218 0.479 0.532 0.400 0.918 0.525 15.222

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 64 92 104 63 250 67 91

N.S.

1 1.00 0.77 1.11 1.25 0.76 3.01 0.81 1.10

time (sec)

N/A 0.034 0.115 0.384 0.523 0.386 0.423 0.458 14.203

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 46 70 74 47 150 41 67

N.S.

1 1.00 0.81 1.23 1.30 0.82 2.63 0.72 1.18

time (sec)

N/A 0.028 0.065 0.246 0.524 0.388 0.179 0.479 13.655

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 33 32 31 29 51 26 27

N.S.

1 1.00 1.10 1.07 1.03 0.97 1.70 0.87 0.90

time (sec)

N/A 0.011 0.025 0.109 0.293 0.387 0.073 0.452 13.646

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 36 30 33 35 0 49 26

N.S.

1 1.00 2.00 1.67 1.83 1.94 0.00 2.72 1.44

time (sec)

N/A 0.021 0.014 0.266 0.504 0.389 0.000 0.450 13.643

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 41 46 29 38 0 38 31

N.S.

1 1.00 1.37 1.53 0.97 1.27 0.00 1.27 1.03

time (sec)

N/A 0.020 0.060 0.282 0.279 0.385 0.000 0.448 14.162

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 64 76 46 59 0 64 45

N.S.

1 1.00 1.28 1.52 0.92 1.18 0.00 1.28 0.90

time (sec)

N/A 0.029 0.140 0.306 0.284 0.386 0.000 0.480 13.895

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 86 104 64 77 0 88 59

N.S.

1 1.00 1.19 1.44 0.89 1.07 0.00 1.22 0.82

time (sec)

N/A 0.036 0.233 0.291 0.288 0.373 0.000 0.507 13.844

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 96 167 178 114 481 108 160

N.S.

1 1.00 0.62 1.07 1.14 0.73 3.08 0.69 1.03

time (sec)

N/A 0.088 0.243 0.504 0.494 0.399 0.955 0.509 15.490

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 79 134 134 85 314 84 120

N.S.

1 1.00 0.68 1.16 1.16 0.73 2.71 0.72 1.03

time (sec)

N/A 0.093 0.205 0.352 0.494 0.398 0.438 0.463 14.733

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 58 78 73 63 168 60 77

N.S.

1 1.00 0.81 1.08 1.01 0.88 2.33 0.83 1.07

time (sec)

N/A 0.014 0.095 0.227 0.292 0.397 0.184 0.415 14.487

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 48 87 81 68 0 99 74

N.S.

1 1.00 0.94 1.71 1.59 1.33 0.00 1.94 1.45

time (sec)

N/A 0.060 0.235 0.382 0.521 0.417 0.000 0.493 14.088

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 57 76 56 70 0 80 46

N.S.

1 1.00 1.27 1.69 1.24 1.56 0.00 1.78 1.02

time (sec)

N/A 0.039 0.272 0.395 0.482 0.416 0.000 0.489 13.759

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 67 101 58 83 0 86 44

N.S.

1 1.00 1.26 1.91 1.09 1.57 0.00 1.62 0.83

time (sec)

N/A 0.038 0.264 0.342 0.272 0.402 0.000 0.486 15.833

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 92 149 85 108 0 127 72

N.S.

1 1.00 1.15 1.86 1.06 1.35 0.00 1.59 0.90

time (sec)

N/A 0.051 0.355 0.368 0.278 0.433 0.000 0.481 15.137

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 107 195 108 128 0 168 94

N.S.

1 1.00 1.01 1.84 1.02 1.21 0.00 1.58 0.89

time (sec)

N/A 0.061 0.340 0.377 0.277 0.415 0.000 0.498 14.218

[next] [prev] [prev-tail] [front] [up]